<?php
declare(strict_types=1);
/** @var FreshRSS_View $this */
echo json_encode($this->tagsForEntry);
